More from this Author
Found 3 books by Laure Petrucci (Editor)
Distibuted Systems
by Serge Haddad (Editor), Fabrice Kordon (Editor), Laurent Pautet (Editor), Laure Petrucci (Editor)
Models and Analysis for Distributed Systems
by Serge Haddad (Editor), Fabrice Kordon (Editor), Laurent Pautet (Editor), Laure Petrucci (Editor)
Critical Systems: Formal Methods and Automated Verification
by Laure Petrucci (Editor), Cristina Seceleanu (Editor)